@Book{数理逻辑2010汪芳庭,
  title        = {数理逻辑.第2版},
  author       = {华罗庚},
  publisher    = {中国科学技术大学出版社},
  year         = {2011}
}
